<?
session_start();
unset($_SESSION['login']);
session_destroy();
?>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<h1>Woodstock mailing successfully logged out.</h1>
<a href="/">home</a>
<a href="/mailing/mailing_manager.php">manager intro page</a>
</body>
</html>
